COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(declare (fasload meter)
C00004 ENDMK
C⊗;
(declare (fasload meter)
	 (load "metint.lsp")
	 (setq meter:count-only T))
(declare 
 (setq local-objects-of-interest  ()))

(meter:meter takl
 (meter-funs #.(all-objs)
	     (defun listn (n)
		    (mn "LISTN" listn)
		    (cond
		     ((= 0 n)
		      nil)
		     (t (cons n (listn (1- n)))))))

(meter-funs #.(all-objs)
	    (defun mas (x y z)
		   (mn "MAS" mas)
		   (cond
		    ((not (shorterp y x))
		     z)
		    (t (mas (mas (cdr x)
				 y z)
			    (mas (cdr y)
				 z x)
			    (mas (cdr z)
				 x y))))))

(meter-funs #.(all-objs)
	    (defun shorterp (x y)
		   (mn "SHORTERP" shorterp)
		   (and y (or (null x)
			      (shorterp (cdr x)
					(cdr y)))))))